Browsing by Subject "Linear logic"
Now showing items 1-2 of 2
-
Article
Concurrent object-oriented programming using term graph rewriting techniques
(1996)The generalized computational model of Term Graph Rewriting Systems is used as the basis for expressing concurrent object-oriented programming techniques exploiting the fine grain highly parallel features of TGRS in a ...
-
Conference Object
Essential features of a compiler target language for parallel machines
(IEEE, 1995)Term Graph Rewriting Systems (TGRS) have been used extensively as an implementation vehicle for a number of, often divergent, programming paradigms ranging from the traditional functional programming ones to the (concurrent) ...